Fibred 2-categories and bicategories
نویسندگان
چکیده
منابع مشابه
Binary trees and fibred categories
We develop a purely set-theoretic formalism for binary trees and binary graphs. We define a category of binary automata, and display it as a fibred category over the category of binary graphs. We also relate the notion of binary graphs to transition systems, which arise in the theory of concurrent computing.
متن کاملThe Linearity of Traces in Monoidal Categories and Bicategories
We show that in any symmetric monoidal category, if a weight for colimits is absolute, then the resulting colimit of any diagram of dualizable objects is again dualizable. Moreover, in this case, if an endomorphism of the colimit is induced by an endomorphism of the diagram, then its trace can be calculated as a linear combination of traces on the objects in the diagram. The formal nature of th...
متن کامل2-nerves for bicategories
We describe a Cat-valued nerve of bicategories, which associates to every bicategory a simplicial object in Cat, called the 2-nerve. This becomes the object part of a 2-functor N : NHom → [∆,Cat], where NHom is a 2-category whose objects are bicategories and whose 1-cells are normal homomorphisms of bicategories. The 2-functor N is fully faithful and has a left biadjoint, and we characterize it...
متن کاملThe periodic table of n-categories for low dimensions I: degenerate categories and degenerate bicategories
Abstract. We examine the periodic table of weak n-categories for the lowdimensional cases. It is widely understood that degenerate categories give rise to monoids, doubly degenerate bicategories to commutative monoids, and degenerate bicategories to monoidal categories; however, to understand this correspondence fully we examine the totalities of such structures together with maps between them ...
متن کاملFibred and Indexed Categories for Abstract Model Theory
Indexed and Fibred category theory have a long tradition in computer science as a language to formalize different presentations of the notion of a logic, as for instance, in the theory of institutions and general logics, and as unifying models of (categorical) logic and type theory as well. Here we introduce the notions of indexed and fibred frames and construct a rich mathematical workspace wh...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 2014
ISSN: 0022-4049
DOI: 10.1016/j.jpaa.2013.11.002